try {
	var htmlStr = "%@".toLowerCase().replace(/'/g, '"');
	return (document &&
			document.documentElement && 
			document.documentElement.innerHTML && 
			document.documentElement.innerHTML.toLowerCase().indexOf(htmlStr) > -1);
} catch (e) {
	return "_TOD_ERROR: " + e.toString();
}
